Incremental Integration Tools for Chemical Engineering: An Industrial Application of Triple Graph Grammars
نویسندگان
چکیده
Triple graph grammars, an extension of pair graph grammars, were introduced for the specification of graph translaters. We developed a framework which constitutes an industrial application of triple graph grammars. It solves integration problems in a specific domain, namely design processes in chemical engineering. Here, different design representations of a chemical plant have to be kept consistent with each other. Incremental integration tools assist in propagating changes and performing consistency analysis. The integration tools are driven by triple rules which define relationships between design documents.
منابع مشابه
On Modularizing Triple Graph Grammars with Rule Refinement
A Triple Graph Grammar (TGG) is a set of declarative rules describing how consistent triples of graph structures in a source, target, and correspondence domain are to be generated. This generative and high-level specification of consistency can be automatically operationalized and used to derive model generators for test case generation, forward and backward translators, and incremental model s...
متن کاملIndustrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars
During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in ...
متن کاملA Comparison of Incremental Triple Graph Grammar Tools
Triple Graph Grammars (TGGs) are a graph-based and visual technique for specifying bidirectional model transformation. TGGs can be used to transform models from scratch (in the batch mode), but the real potential of TGGs lies in propagating updates incrementally. Existing TGG tools differ considerably in their incremental mode concerning underlying algorithms, user-oriented aspects, incremental...
متن کاملCan Graph Grammars Make Formal Methods More Human?
Formal methods are scarcely used in industrial applications. Industrial strength tools and educational effort do not significantly help in promoting formal methods. Main obstacles to the industrial application of formal methods are lack of flexibility, lack of specialization, and difficulties in interpreting analysis results. This paper argues that graph grammars can help overcoming such limita...
متن کاملDevelopment of Tool Extensions with MOFLON
The increasing complexity of embedded systems is accompanied by an increasing number and complexity of models, modeling languages and tools in the development process. This results in a need for appropriate tool support at the metamodel level. Besides the necessity to develop new languages and tools, there is also a large demand for extensions to existing tools as well as for integration framew...
متن کامل